Ihre Suche nach "type theory" ergab 14 Treffer

Ansicht:
William M. Farmer: Simple Type Theory, Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
: Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications, Buch

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

Studies in Fuzziness and Soft Computing -Band 425

This book covers the introduction, theory, development and applications of type-2 fuzzy logic systems, which represent the current state-of-the-art in various domains such as control applications, power p…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 175,23*
Artikel ist im Warenkorb
: Logics and Type Systems in Theory and Practice, Buch

Logics and Type Systems in Theory and Practice

Lecture Notes in Computer Science -Band 14560

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
Artikel ist im Warenkorb
Liquid Tension Experiment: LTE3, CD,CD

Liquid Tension Experiment
LTE3

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar innerhalb 2-3 Wochen
2 CDs
 
EUR 22,99*
Artikel ist im Warenkorb
Joel E. Restrepo: Functions of Omega-Bounded Type, Buch

Joel E. Restrepo
Functions of Omega-Bounded Type

Frontiers in Mathematics

The book gives the basic results of the theory of the spaces Ap of functions holomorphic in the unit disc, halfplane and in the finite complex plane, which depend on functional weights permitting any r…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 60,23*
Artikel ist im Warenkorb
Brittainy C. Cherry: Denn ohne Liebe werden wir zerbrechen, Buch

Brittainy C. Cherry
Denn ohne Liebe werden wir zerbrechen

Mixtape-Reihe -Band 2

Du hast mich gefunden, als mein Herz kaum noch geschlagen hat. Du hast mein Herz wieder zum Leben erweckt Als ich den Job als Köchin auf dem Luxusanwesen von Rockstar Oliver Smith ergattere, kann ich me…

sofort lieferbar
Buch
EUR 14,00*
Artikel ist im Warenkorb
C. G. Jung: Die Archetypen und das kollektive Unbewusste, Buch

C. G. Jung
Die Archetypen und das kollektive Unbewusste

C.G.Jung, Gesammelte Werke 1-20 Broschur - Band: 9/1

Zu den Theorien C. G. Jungs, die am bekanntesten geworden sind, gehört die Vorstellung von Archetypen und ihr Korrelat, der Begriff des kollektiven Unbewußten. Für Jung ist das kollektive Unbewußte ein zw…

sofort lieferbar
Buch
EUR 46,00*
Artikel ist im Warenkorb
Carole King: The Living Room Tour (180g) (Limited Numbered Edition) (Green Marbled Vinyl), LP,LP

Carole King
The Living Room Tour (180g) (Limited Numbered Edition) (Green Marbled Vinyl)

Carole King ist eine amerikanische Singer-Songwriterin und Komponistin. Sie war die erfolgreichste weibliche Singer-Songwriterin der zweiten Hälfte des 20. Jahrhunderts und schrieb (teils zusammen mit and…

Artikel am Lager
EUR 39,99**
2 LPs
 
EUR 36,99*
Artikel ist im Warenkorb
Linda Smith: Till Another Time: 1988 - 1996, CD

Linda Smith
Till Another Time: 1988 - 1996

Product Information When Linda Smith purchased a 4 track cassette recorder in the mid-1980s, it was not with the intention of launching a solo career. At the time, she was playing guitar in a band calle…

Artikel am Lager
CD
 
EUR 15,99*
Artikel ist im Warenkorb
Stefan Müller-Stach: Der Code der Mathematik, Buch

Stefan Müller-Stach
Der Code der Mathematik

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Nebe…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 32,99*
Artikel ist im Warenkorb
Fanzhang Li: Lie Group Machine Learning, Buch

Fanzhang Li
Lie Group Machine Learning

This book explains deep learning concepts and derives semi-supervised learning and nuclear learning frameworks based on cognition mechanism and Lie group theory. It further discusses algorithms and applic…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 148,38*
Artikel ist im Warenkorb
Lindemann: Skills In Pills (180g), LP

Lindemann
Skills In Pills (180g)

Lindemann sind Till Lindemann und Peter Tägtgren. Till Lindemann ist der Sänger von Rammstein, die bis heute ca. 17 Mio. Tonträger verkauft haben und damit eine der weltweit erfolgreichsten und respekti…

lieferbar innerhalb einer Woche
LP
 
EUR 33,99*
Artikel ist im Warenkorb
: Recent Advances in Mathematical Analysis, Buch

Recent Advances in Mathematical Analysis

Trends in Mathematics

This book collects selected peer reviewed papers on the topics of Nonlinear Analysis, Functional Analysis, (Korovkin-Type) Approximation Theory, and Partial Differential Equations. The aim of the volume i…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 142,37*
Artikel ist im Warenkorb
: The French School of Programming, Buch

The French School of Programming

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.